ступенчатая логика

См. также в других словарях:

• КОНСТРУКТИВНАЯ ЛОГИКА —         1) то же, что и интуиционистская логика; 2) ветвь логики, в которой изучаются финитные (см. Финитизм) рассуждения о конструктивных объектах и процессах (см. Конструктивное направление) и строится соответств. семантика. В К. л. отвергается …   Философская энциклопедия

• конструктивная логика —         КОНСТРУКТИВНАЯ ЛОГИКА (от лат. constructio построение) совокупность логических принципов, признаваемых приемлемыми представителями конструктивизма в математике. Предметом конструктивизма являются конструктивные объекты и конструктивные… …   Энциклопедия эпистемологии и философии науки

• Начало (фильм, 2010) — У этого термина существуют и другие значения, см. Начало. Начало Inception …   Википедия

• СЕМАНТИКА — в математической логике исследование интерпретаций логического исчисления, формальной аксиоматич. теории; изучение смысла и значения конструкций формализованного языка теории, способа понимания его логич. связок и формул. С. уделяет внимание… …   Математическая энциклопедия

• Онтология (информатика) — У этого термина существуют и другие значения, см. Онтология (значения). Онтология (в информатике)  это попытка всеобъемлющей и детальной формализации некоторой области знаний с помощью концептуальной схемы. Обычно такая схема состоит из… …   Википедия

• Москвич-412 — Москвич 412 …   Википедия

• Москвич 412 — на викискладе …   Википедия